A-normal form - PDFSEARCH.IO - Document Search Engine

A-normal form
Results: 190

#	Item
51	Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT Hai Leong Chieu Wee Sun Lee Singapore MIT Alliance Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2008-11-06 22:58:52 Applied mathematics Logic in computer science Maximum satisfiability problem MAX-3SAT Belief propagation Conjunctive normal form Local search WalkSAT Local consistency Theoretical computer science Constraint programming Mathematics
52	A Normal Form for Classical Planning Tasks Florian Pommerening and Malte Helmert University of Basel Basel, Switzerland {florian.pommerening,malte.helmert}@unibas.ch Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-04-01 08:50:48 Admissible heuristic Heuristic Heuristics Heuristic function Automated planning and scheduling
53	MATHHomework 7 This homework will be collected at the end of class on Nov. 19, For each of the following matrices A, find a Jordan canonical form J and a matrix X such that A = XJX −1 . (a) Add to Reading List Source URL: hkumath.hku.hk Language: English - Date: 2014-11-12 19:57:52 Matrix theory Abstract algebra Singular value decomposition Generalized eigenvector Eigenvalues and eigenvectors Diagonalizable matrix Jordan normal form Vector space Matrix Algebra Linear algebra Mathematics
54	Chapter 1 Rewriting Nachum Dershowitz David A. Plaisted Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2001-02-15 10:07:19 Applied mathematics Logic in computer science Mathematical logic Rewriting Computability theory Semi-Thue system Differential equation Normal form Linear equation Theoretical computer science Mathematics Formal languages
55	Decomposition of Additive Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:39 Abstract algebra Minimal polynomial Irreducible polynomial Factorization of polynomials Finite field Frobenius normal form Factorization of polynomials over a finite field and irreducibility tests Algebra Mathematics Polynomials
56	MATHHomework 8 This is the last homework. It will be collected at the end of class on Nov. 29, For each of the following matrices A, find its Jordan canonical form J. For the first three parts, find a Add to Reading List Source URL: hkumath.hku.hk Language: English - Date: 2014-11-13 20:39:58 Matrix theory Jordan normal form Jordan matrix Matrix Eigenvalues and eigenvectors Canonical form Singular value decomposition Diagonalizable matrix Algebra Linear algebra Mathematics
57	Proofs and Refutations, and Z3 Leonardo de Moura and Nikolaj Bjørner Microsoft Research Abstract Z3 [3] is a state-of-the-art Satisfiability Modulo Theories (SMT) solver freely available from Microsoft Research. It solv Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:06 Formal methods Metalogic Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Conjunctive normal form Mathematical proof Mathematics Theoretical computer science Logic
58	1 Distributed Games and Strategies Glynn Winskel, Computer Laboratory, University of Cambridge Abstract—A summary of work on distributed games and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-02-19 08:49:45 Applied mathematics Determinacy Minimax Nash equilibrium Normal-form game Strategy Independence Denotational semantics Nim Game theory Mathematics Problem solving
59	Prior Permissions FAQ What is a prior permission? Standard prior permission Prior permission is essentially a form of licence for categories of premium rate services (PRS), deemed to carry a higher than normal risk to co Add to Reading List Source URL: www.phonepayplus.org.uk Language: English - Date: 2012-08-09 11:02:31 Filesystem permissions Communication Town and country planning in the United Kingdom Technology PhonepayPlus Premium-rate telephone number Public key certificate
60	A First-Order Davis-Putnam-Logemann-Loveland Procedure Peter Baumgartner + Some slides from "First Order Theorem Proving" Tutorial Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-04-12 01:52:20 Mathematics Model theory Constraint programming Boolean algebra Skolem normal form Davis–Putnam algorithm First-order logic Resolution Vampire Mathematical logic Logic Automated theorem proving

UPDATE